perm filename E79.OUT[LET,JMC] blob
sn#478585 filedate 1979-09-30 generic text, type T, neo UTF8
∂30-Sep-79 1533 JMC
To: ef at MIT-AI
Unfortunately, I must go on to Detroit that very evening. But thanks.
∂30-Sep-79 0125 JMC don't try to change my talk
To: ef at MIT-AI
I just received posters listing my talk, so it's really
too late. Also it looks like I can still give a talk
in Dublin on Monday and in Cambridge on Tuesday.
Please reply, so I'll know if I have to phone you.
∂29-Sep-79 1703 JMC acknowledgements
To: PAT
Please add to circum.new in the style of the AI journal acknowledgments
of ARPA and NSF support and of the IBM Distinguished Faculty Fellowship
(or whatever it was called in the letter).
That's in s79.
∂29-Sep-79 1639 JMC
To: JRA
1. Why not have the conference in 1981? This would give plenty of
time to prepare. 1980 is ok, but delaying might get better papers.
2. I suppose the AI Lab could pay postage, etc. What larger sums of
money do you have in mind.
3. Assuming equal physical facilities, having the conference at Stanford
presents no large advantages over Santa Clara, unless the fact that
conferences are an industry at Stanford helps. It might also generate
excessive greed on Stanford's part. Assuming an adequate conference
committee, there won't be a prestige difference.
4. I bet he won't take an active part, but you should solicit Bruce
Buchanan's advice. He was IJCAI program chairman.
5. Certainly Friedman should be invited. He is very energetic. The
conference could even be held at Indiana, although there is less incentive
to go there.
6. Proving the correctness of LISP programs should be a major topic.
You could invite either Carolyn Talcott, Bob Boyer, J. Moore or Corky
Cartwright to be on the program committee. This topic should include
both automatic proof as done by Boyer-Moore and the mathematics of LISP
as done by Cartwright and me. Inclusion of this topic will put LISP
one up on APL and other languages where this is not yet a consideration.
7. It occurs to me that IJCAI could afford to lend the conference money,
but I don't know who could make such a decision. Bruce would know. For
that it would be best to leave out the words about non-AI contributions.
8. If you take non-AI contributions seriously, then the biggest are to
REDUCE and MACSYMA. Hearn and Moses (Fateman at UCB locally) are obvious.
∂29-Sep-79 0023 JMC send off stuff
To: PAT
Please decorate BIO[LET,JMC]. It is a short biography to send to people
who want to announce lectures. Please send it and a photograph to
Mr. Barney McCloskey
P.G.&E. Information Center
P.O. Box 592
San Luis Obispo, CA 93406
∂28-Sep-79 1902 JMC
To: RWW
∂28-Sep-79 1241 LCA
John, I'd like to remind you about my letter of reccomendations. Even a
very short one would be very useful to me. I need it by monday or tuesday.
If you need any information, please call me either at the lab or at home (856-0706).
I have put a short resume' of mine in your mail box at the lab. Thanks a lot!
Gigina
Richard:
Could you write up something I could reasonably sign? I haven't been
following Gigina's work carefully, and I am jealous of my time on leave.
∂28-Sep-79 1855 JMC
To: CET
No, I won't jeopardize my leave for ceremonial reasons.
∂28-Sep-79 1854 JMC
To: TOB
ok about Chinese
∂27-Sep-79 2042 JMC
To: FB at SU-AI, LES at SU-AI, REG at SU-AI
I have seen Altos and would prefer high quality displays. I have
unrestricted money that will buy a high quality Baskett display for
JMC as soon as they are available. However, I think the Department
can and should cover the Department with displays of at least
Datadisc quality. If the Department can afford better quality, that's
fine, but I doubt that we should settle for less than full coverage
in order to get high quality. My guess is that if a person had a choice
between a Datadisc on his desk and an Alto in a terminal room, he would
choose the former. Should a poll of faculty and students show that
a reasonable number of people would prefer high quality in terminal rooms,
I would certainly go along. What I fear is that the Department will
divide into 1st class citizens with high quality personal displays,
1.3 class citizens with Datadiscs 2.8 class citizens with access to
terminal rooms.
I am willing to wait a "week or two", pointing out that we have been
waiting a year or two. I will be leaving for two weeks on October 14.
Could we set a definite date to happen before then?
∂26-Sep-79 1823 JMC AUDIT[LOT,JMC]
To: PAT
Please make a LOTS memo out of this file with Ralph and me as
authors. It goes to whoever sent me a memo requesting a response
to the audit report. Lieberman and Massy should also get copies.
∂25-Sep-79 2024 JMC
To: PAT
Yes, but let's wait till Pat Hayes tinkers with them. I'll tell you.
∂24-Sep-79 1706 JMC
To: PAT
I have given them to Pat Hayes, Associate Editor AI Journal - belatedly.
∂24-Sep-79 1704 JMC
To: hearn at UTAH-20
Thanks for message. I have a copy of Stoyan's book.
∂24-Sep-79 1703 JMC
To: CET
I will not be at Faculty meeting, since I'm on leave.
∂22-Sep-79 0120 JMC via WPAFB-TIP sex in wetsuit
To: john.laird at CMU-10A
It hardly seems possible.
∂21-Sep-79 2055 JMC trip cost
To: PAT
Please find out what the cost would be of
1. just going to Israel and back (it's all they should pay for)
2. just going to Detroit and back (ACM can pay up to that amount)
∂21-Sep-79 1818 JMC
To: FB
You may count me as voting for your proposed revised G81 policy
and removing the holds.
∂21-Sep-79 0005 JMC
To: WAXMAN at USC-ECL
CIRCUM.NEW[S79,JMC]. If you would like a paper copy mail request
to PAT@SU-AI.
∂19-Sep-79 1934 JMC
To: MAX
CASBS stands for Center for Advanced Study in the Behavioral Science.
Its location may be on your Stanford map. Anyway you can easily find
it as follows: Go out of the campus on Mayfield to the north
and continue north on Junipero Serra. You will see a road on the
left with a sign saying Stanford Golf Course, CASBS and National
Bureau of Economic Research. Turn left there and immediately
left again and up to the top of the hill. If you go on Junipero
Serra farther north, you will immediately see a bridge across
the road. This means you have gone too far. The
distance is probably not too far for Prof. Tang to walk
if he doesn't have a ride, but if he phones me at
321-2052 around 1:30, I'll get him a ride or comae after him.
The meetings, starting tomorrow, are now on Tuesdays and
Thursdays at 2:30.
∂17-Sep-79 1831 JMC
To: MAX
Thanks for the copy of the axioms and proof. Are you interested in the seminar at CASBS?
∂15-Sep-79 0229 JMC
To: PAT
.<<The references in this bibliography (BIOJMC[J,PAT]) should be in a uniform style,
.because I often copy them to papers. The last few are correct. The
.publication in italics and first names spelled out.
.>>
∂15-Sep-79 0109 JMC imlac
To: ROY
I see that it is nicely cleaned up. How is it otherwise, and what is
its prognosis?
∂14-Sep-79 2305 JMC
To: LGC
Please phone me at home between 9am and 11.
∂14-Sep-79 1746 JMC
To: LGC
∂13-Sep-79 2338 JMC
To: "@SEMLIS[E79,JMC]"
The CASBS AI and Philosophy seminar will meet Tuesday, Wednesday
and Thursday at 1pm at CASBS next week. It will start with John McCarthy
talking about belief, concepts and ascribing mental qualities to machines.
The references are McCarthy's Ascribing Mental Qualities to Machines,
First Order Theories of Individual Concepts and Propositions, Epistemological
Problems of AI (IJCAI 1977), and Formalization of the wise man and
Mr. S and Mr. P puzzles. Copies available.
∂14-Sep-79 1737 JMC
To: LGC
I usually come in shortly after 5pm. Otherwise we could meet at CASBS.
∂14-Sep-79 1735 JMC
To: RPG
∂13-Sep-79 2338 JMC
To: "@SEMLIS[E79,JMC]"
The CASBS AI and Philosophy seminar will meet Tuesday, Wednesday
and Thursday at 1pm at CASBS next week. It will start with John McCarthy
talking about belief, concepts and ascribing mental qualities to machines.
The references are McCarthy's Ascribing Mental Qualities to Machines,
First Order Theories of Individual Concepts and Propositions, Epistemological
Problems of AI (IJCAI 1977), and Formalization of the wise man and
Mr. S and Mr. P puzzles. Copies available.
∂14-Sep-79 1733 JMC
To: waxman at USC-ECL
There will be a new version in about a week, and I'll send you a message
then.
∂14-Sep-79 0059 JMC
To: PAT
Please MAIL me my trip schedule. I must write my cousin in Ireland.
∂13-Sep-79 2338 JMC
To: "@SEMLIS[E79,JMC]"
The CASBS AI and Philosophy seminar will meet Tuesday, Wednesday
and Thursday at 1pm at CASBS next week. It will start with John McCarthy
talking about belief, concepts and ascribing mental qualities to machines.
The references are McCarthy's Ascribing Mental Qualities to Machines,
First Order Theories of Individual Concepts and Propositions, Epistemological
Problems of AI (IJCAI 1977), and Formalization of the wise man and
Mr. S and Mr. P puzzles. Copies available.
∂13-Sep-79 1947 JMC
To: MFB
ok, please confirm it
∂13-Sep-79 1946 JMC
To: buchanan at SUMEX-AIM
I am on leave this fall, but might be willing to supervise one very
competent student interested in epistemological problems.
∂13-Sep-79 1926 JMC
To: DRA
CC: LES
I will see if someone is interested in doing the upgrade.
∂13-Sep-79 1926 JMC
To: LES
∂13-Sep-79 1254 DRA Article?
Would an upgraded and expanded version of AIM 321 be suitable
for publication in Computer Magazine? I'd like to publish an
overview paper of the field. Let me know if you're interested.
dra
∂12-Sep-79 0226 JMC
To: MAX
Is there a file giving the version of the S and P axioms used in your FOL proof?
∂12-Sep-79 0216 JMC
To: CLT
See provin.rev. It is merely some notes about revising. I'm going slowly.
∂11-Sep-79 2323 JMC
To: JC
Disregard previous message mailed to wrong pn.
∂11-Sep-79 2322 JMC
To: JK
Many thanks for your suggestion. As is, it isn't what I want, because
introducing the f is conditional on first proving that there is a unique
y. However, tinkering with it led to an even simpler solution to
my problem. Given any wff P(x,y) with x and y free and a previously
unused function symbol f, I can write (∀x)((∃y)P(x,y) ⊃ P(x,f(x))) as
a kind of partial definition of f and be guaranteed against contradiction.
For any values of x for which I can prove (∃!y)P(x,y), f(x) will be
determined.
In case the terminal on which you read this doesn't have logical symbols,
the formulas are (for all x)((there exists y)P(x,y) implies P(x,f(x)))
and (there is a unique y)P(x,y).
You are probably saying, "had I known that was all he wanted ...".
∂11-Sep-79 2321 JMC
To: JC
Many thanks for your suggestion. As is, it isn't what I want, because
introducing the f is conditional on first proving that there is a unique
y. However, tinkering with it led to an even simpler solution to
my problem. Given any wff P(x,y) with x and y free and a previously
unused function symbol f, I can write (∀x)((∃y)P(x,y) ⊃ P(x,f(x))) as
a kind of partial definition of f and be guaranteed against contradiction.
For any values of x for which I can prove (∃!y)P(x,y), f(x) will be
determined.
In case the terminal on which you read this doesn't have logical symbols,
the formulas are (for all x)((there exists y)P(x,y) implies P(x,f(x)))
and (there is a unique y)P(x,y).
You are probably saying, "had I known that was all he wanted ...".
∂11-Sep-79 2259 JMC
To: MFB
Monday, Wednesday and Thursday afternoons are out for me.
∂11-Sep-79 1205 JMC
To: JK
Blaine is welcome.
∂10-Sep-79 0015 JMC
To: LES
What fractions of the machine have been "sold" to whom?
∂09-Sep-79 1923 JMC
To: HPM
Sounds good to me.
∂08-Sep-79 2246 JMC your message to Rindfleisch
To: MRC at SU-AI
I hope Rindfleisch lends us the modems, but the tone of your message
struck me as insufficiently tactful. Perhaps you have already prepared
the ground by a personal conversation. Perhaps Les or I should phone
him.
∂07-Sep-79 2128 JMC
To: LES
How are we doing with the order for the Vadic dialer and modem?
∂07-Sep-79 2036 JMC
To: LES
Call Baskett about Hersche and Grinnell.
∂07-Sep-79 1232 JMC
To: LES
I would like the first available Datamedia.
∂07-Sep-79 1213 JMC
To: "@SEMLIS[E79,JMC]"
The group studying artificial intelligence and philosophy this year at the
Center for Advanced Study in the Behavioral Sciences is holding a series
of seminars in order to become acquainted with each other's work and
interests. A limited number of others interested in connections between
AI and philosophy can be accomodated and are welcome to attend. The
seminars will be on Mondays, Wednesdays and Thursdays at the Center at 1pm
starting Monday September 10. Daniel Dennett will give the first two
lectures on belief, and he will be followed by John McCarthy.
∂07-Sep-79 1208 JMC
To: JMC
The group studying artificial intelligence and philosophy this year at the
Center for Advanced Study in the Behavioral Sciences is holding a series
of seminars in order to become acquainted with each other's work and
interests. A limited number of others interested in connections between
AI and philosophy can be accomodated and are welcome to attend. The
seminars will be on Mondays, Wednesdays and Thursdays at the Center.
Daniel Dennett will give the first two lectures on belief, and he will be
followed by John McCarthy.
∂04-Sep-79 2329 JMC
To: admin.mrc at SU-SCORE
Thanks for the news. Is it possible to phone you at MJH or for you to
phone me.
∂04-Sep-79 2322 JMC
To: admin.mrc at SU-SCORE
23:21 If you're there now, please phone 7-4430.
∂04-Sep-79 2252 JMC
To: REG at SU-AI, admin.gorin at SU-SCORE
audit[lot,jmc] is a draft response to the auditors.
∂02-Sep-79 2130 JMC
To: CLT
The remark about numbers is in.
∂01-Sep-79 2353 JMC
To: CLT
See EQUALI[E79,JMC].
∂01-Sep-79 0001 JMC Expired plan
To: JMC
Your plan has just expired. Maybe you should make a new one.
∂30-Aug-79 1711 JMC decorate
To: PAT
INVENT[E79,JMC] is an inventory of my professional interests for CASBS.
Please make it print out neatly, and I'll take it to them.
∂30-Aug-79 1113 JMC Ben
To: CLT
Ben would prefer to be an RA working on microprogram proving to being a
TA, but you have a veto, since he committed himself to do it Fall Quarter.
I will look into the financial situation if you have a reasonable
alternative for the TA.
∂30-Aug-79 1021 JMC
To: DPB
Since Carolyn will be teaching CS206 in the Fall, I thought she might use it.
∂23-Aug-79 2212 JMC
To: GFF at SU-AI
Many thanks for letting me use dialer. It was my last night here.
∂23-Aug-79 2207 JMC
To: HPM, LES
Thanks, I succeeded in moving files.
∂23-Aug-79 2109 JMC
To: GFF at SU-AI
COULD I HAVE BOTH TTY LINES SO I CAN TRANSFER MY FILES FROM IBM?
∂23-Aug-79 2019 JMC
To: MRC at SU-AI
Are you sure about nine months. The bulletin board notice said
2100 hours which is about three months.
∂23-Aug-79 2014 JMC
To: marcf at MIT-MC
I certainly did say that Lisp requires considerable memory and would
be inclined to update my remark to say that Lisp has good prospects
on the new 16 bit micros with large address spaces. I would prefer
not to joust with Basic.
Therefore, a suitably adjusted comment would be best, but
I suppose I can't object to taking responsibility for the remark I
made at the time. Best regards. John McCarthy
∂18-Aug-79 1422 JMC
To: TOB
ok, Macvicar visit then.
∂17-Aug-79 1910 JMC
To: bobrow at PARC-MAXC
Did you get previous message about my paper?
∂17-Aug-79 1907 JMC My paper
To: bobrow at PARC-MAXC
It has proved impossible to finish it here. There are too many
distractions, and the computer facilities are poor and incompatible
with those at home. I will return August 30 and will polish it
off shortly if you haven't lost patience.
∂17-Aug-79 1906 JMC
To: BIS
If you can stick it out, Japanese.
∂16-Aug-79 2025 JMC
To: TOB
CC: FB
No problem Giralt visit under stated conditions.
∂15-Aug-79 2001 JMC
To: DEW
I assume you got my message and can give Filman's paper.
∂15-Aug-79 1956 JMC →13132 (1-Sep-79)
To: "#___JMC.PLN[2,2]"
I expect to return August 28 or 29. I am not going to IJCAI and can
be reached daytime at (914)945-2893 until Aug 24. I log in
frequently.
∂15-Aug-79 1928 JMC
To: LES
Seems reasonable. I will be back about the 30th of this month.
∂14-Aug-79 0918 JMC not going to Japan
To: buchanan at SUMEX-AIM
I am behind on many projects, and I want to stay at IBM another week.Therefove, I won't be able to chaif a session at IJCAI.
Have a good meeting.
∂14-Aug-79 0917 JMC
To: DEW
I won't be going to Japan. Please give Filman's paper.
∂14-Aug-79 0917 JMC
To: PAT
I'm not going to Japan. Back Aug 27.
∂12-Aug-79 1414 JMC 801
To: FB
Gomory emphasized present non-exxistence of 801, but was not really
discouraging.
∂12-Aug-79 1410 JMC telegrams
To: PAT
To Hsu Kung-shih:
Thanks for invitation, but I cannot come this time. I hope there
will be another occasion.
To Ershov: Sorry I will miss Uzbekistan meeting. There is just too
much work piled up.
∂11-Aug-79 1148 JMC
To: REM
I wish you luck, but you will need to be very persistent and still
may not succeed.
Actually, a more promising route to fame and fortune may be
to publish a paper in a journal of reasonably wide circulation
such as one of the IEEE publications. Your services as a consultant
or employee will then become valuable. If you are interested, I
will inquire whether IBM might be interested in employing you.
i
∂10-Aug-79 1521 JMC
To: TW at SU-AI, LES at SU-AI, EAF at SU-AI, DPB at SU-AI,
FB at SU-AI
Thanks for outlining the dimensions of the problem. Feigenbaum and
I discussed the problem, and we agreed that there would be a
departmental pie slice that the department would pay for. It
was not discussed how big this slice would be.
∂10-Aug-79 1515 JMC
To: REM
Inventions, in my experience, are always a long shot to make money.
My advice is to listen carefully to the reasons technology
licensing gives for not being hopeful about this one.
∂05-Aug-79 2201 JMC
To: DEK
I guess I had better drop out of the pilgrimage.
∂03-Aug-79 1952 JMC
To: PAT, DPB
Any sign of Zohar?
∂03-Aug-79 1951 JMC
To: PAT
Please send blob[w76,jmc].
∂03-Aug-79 1916 JMC
To: DEW, REF
∂03-Aug-79 1115 DEW
To: REF, JMC
I couldn't lend the expertise to REF's paper that JMC could but would be
happy to deliver it. Only 2 possible problems:
1) it must be scheduled so as not to conflict with my talk or Lew Creary's,
and 2) I have to find a way to Japan. I called the travel agent the same
day I found I was getting money, but all flights to Tokyo for Aug 17-20 from
LA, SF, or Seattle are completely booked with their waiting lists closed.
So it's not obvious I can get there. (It would have been nice to have more
than 3 weeks notice to arrange everything.) John, if you have a flight to
Tokyo booked and aren't going to use it, perhaps I could get it somehow.
Dave
I haven't booked a flight. If I go, it would be from New York.
∂03-Aug-79 1111 JMC
To: PAT
Is Gosper back?
∂03-Aug-79 1108 JMC ijcai
To: DEW, REF
There is increasing probability that I won't go to IJCAI. If it
turns out that way, I wonder if DEW could deliver REF's paper.
∂03-Aug-79 1108 JMC
To: DEW
ref
∂03-Aug-79 1101 JMC
To: RWG
Benoit Mandelbrot would like to get in touch with you. 914 945-2202.
∂01-Aug-79 2249 JMC
To: LES
It's Michaelson, and I know it's a hassle, but the bread will return.
∂01-Aug-79 2241 JMC Books for Michaels
To: LES
Could you send Professor Sidney Michaelson, University of Edinburgh,
a tape with grimm and wuther (the two book files) on it. It should
be an 8 channel tape 800bpi. He has stuff we can use.
∂01-Aug-79 2233 JMC
To: CET at SU-AI
CC: GHG at SU-AI, RWF at SU-AI, FB at SU-AI, DEK at SU-AI
CC: TW at SU-AI, DPB at SU-AI, buchanan at SUMEX-AIM
I am dubious about 400 page dissertations, but allowing that, it
seems that double sided would be better.
∂31-Jul-79 0854 JMC memos
To: PAT
Please send me copies of HOTER and also the published version
as soon as possible. 2 copies of each would be good.
≡
∂30-Jul-79 2047 JMC
To: PAT
Any sign of Tang or news of visa?
∂30-Jul-79 2041 JMC
To: ROB
How is keyboard conversion coming?
∂29-Jul-79 1400 JMC
To: MRC at SU-AI, BH at SU-AI, LES at SU-AI
Remember that sites sholuld be able to use dialnet that have only
dialnet and local mail.
∂29-Jul-79 1357 JMC
To: BIS
I don't agree with the statement. Besides money it took the conviction
of the American physics community that this was the most important thing
to work on. If the country's smartest people were dedicated
personally to connecting to human sensory and motor organs, it
might be done in a few years with only modest increases in funding.
I guess connecting to human sensory and motor neurons in a simple
way is a straightforward problem that could be solved in a fixed
time by dedicated effort. Other robotics problems, such as the
ability to skin a cat, require conceptual advances that may be
as hard as the theory of the nucleus as developed between
Rutherford's work early in the century and the discovery of
fission in 1939.
∂26-Jul-79 2100 JMC
To: BH at SU-AI, MRC at SU-AI, LES at SU-AI
Anything that would optimize the probability and speed of
getting mail between two different computers would be of
greater import.
Right now we have the pessimal compromise: the server accepts the
mail, and the mail program deletes it without a trace!
∂22-Jul-79 1939 JMC
To: PAT
Slides for lectures -SLIDES
CIRCUM.SLI[S78,JMC] Slides for circumscription lecture
LISP2.SLI[S78,JMC] 26-May-78 Slides for LISP history lecture
LISP.SLI[W78,JMC] 10-Mar-78 Slide ideas of LISP history
IJCAI.SLI[E77,JMC] 17-Aug-77 Slides for IJCAI 1977
∂22-Jul-79 1936 JMC wexelblatt request
To: PAT
I vaguely remember the slides, i.e. transparencies. I have made several
attempts to keep files of transparencies for various lectures, and
there are some. I don't remember these specifically.
∂11-Jul-79 1343 JMC
To: CLT
sarah is at 854-0759
∂08-Jul-79 1339 JMC →13143 (10-Sep-79)
To: "#___JMC.PLN[2,2]"
I will be away until approximately September 1. I will be in
Edinburgh until July 15 and then at Thomas J. Watson Research Center,
Yorktown Heights N.Y. except for one week at IJCAI. I will read net
mail. Patte will know about details.
∂06-Jul-79 1449 JMC move date
To: admin.gorin at SU-SCORE
After much consultation, October 1 seems to meet with equal pressure in
both directions and has been chosen.
∂06-Jul-79 0059 JMC
To: EAF at SU-AI
Slight improvement. Oct. 1 takedown is agreed by all concerned.
∂03-Jul-79 1129 JMC
To: PJH
Please hold Turner counterfactuals paper for me at Edinburgh.
∂02-Jul-79 1852 JMC
To: PAT
regan.le1
∂02-Jul-79 1851 JMC
To: DEW
I prefer two-sided.
∂29-Sep-79 1641 JMC
To: JRA
9. You should also talk to Les about practical matters.